Proof that det(A^T)=det(A)